xen: get_free_pirq: make sure that the returned pirq is allocated
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 31 Aug 2011 14:23:49 +0000 (15:23 +0100)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 31 Aug 2011 14:23:49 +0000 (15:23 +0100)
commit1aa9c4f626dd81fc00f95c2ab7303c379768ba3a
treeaffaa862024c27b925e615f7eb62c08409e62727
parenta7ffe0fdecc06a1518622e2774b3567fa78f378b
xen: get_free_pirq: make sure that the returned pirq is allocated

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/x86/irq.c